منابع مشابه
A Bio-Logical Theory of Animal Learning
David Guez Faculty of Applied Science The University of Canberra Canberra, Australia [email protected] [email protected] Abstract This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used...
متن کاملorward engineering of synthetic bio-logical AND gates
The field of synthetic biology has produced genetic circuits capable of emulating functional paradigms seen in digital electronic circuits. Examples are bistable switches, oscillators, and logic gates. The present work combines detailed mechanistic-kinetic models and stochastic simulation techniques as well as the techniques of in vivo molecular biology to study the potential of a synthetic, si...
متن کاملLogical properties of foundational relations in bio-ontologies
OBJECTIVE We compare the advantages of specifying the semantics of foundational relations in bio-medical terminology systems using different types of formal deductive systems: first-order logic (FOL) and description logics (DLs). METHOD As our focus example, we use a terminology whose basic terms are supposed to designate proper parthood relations, subdivision relations, and surrounded-by rel...
متن کاملModelling (Bio)Logical Sequences through Markov Logic Networks
Markov Logic Networks are a powerful representation that combines first-order logic and probability by attaching weights to first-order formulas and using these as templates for features of Markov networks. In this paper we propose a simple temporal extension of MLN that is able to deal with sequences of logical atoms. We also propose iterated robust tabu search (IRoTS) for MAP inference and Ma...
متن کاملLogical properties of foundational mereogeometrical relations in bio-ontologies
One aim of this paper is to improve the logical and ontological rigor of the OBO relation ontology by providing axiomatic specifications for logical properties of relations such as part_of, located_in, connected_to, adjacent_to, attached_to, etc. All of these relations are currently only loosely specified in OBO. A second aim is to improve the expressive power of the relation ontology by includ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Materials Today
سال: 2012
ISSN: 1369-7021
DOI: 10.1016/s1369-7021(12)70074-3